User blog comment:Alemagno12/Proof of termination of Pair Sequence System (BM2)/@comment-30754445-20180709030305/@comment-30754445-20180709034428

Ah, okay.

So how do we find the bad part of (0,0)(1,1)(0,0)(1,0)?