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

No - the (2,0) gets removed when calculating the bad root:


 * (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)
 * (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)
 * 2 < 3, so we keep the node.
 * (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)
 * 1 < 2, so we keep the node.
 * (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)
 * 2 > 1, so we delete the node.