Counter

TLC reached 4 states and 3 steps. The chart draws 4 states and 3 arrows.

Rules that holdCopy Anchor Link

Low, StaysSmall TLC checked Low only in the initial states, because it has no [], <>, or ~>. List it as an INVARIANT to check every state.