You can have an inner seemingly-repeating cycle by node, but not by (node, tape instr #) pair. Initial tails are something they should've done, which would've

You can have an inner seemingly-repeating cycle by node, but not by (node, tape instr #) pair. Initial tails are something they should've done, which would've foiled the naive "find the cycle lengths and use lcm" approach.