Section 21 The chaining rule with loops

A special case of the mini-map coding rule is when the consequence variable is also one of the influencing variables.

A special case of the join rule is when the resulting mini-map contains a loop or cycle…

[add something here!]