User blog comment:Bubby3/Walkthrough of BMS./@comment-35470197-20190216042718/@comment-30754445-20190220200254

I see you've made an extensive edit on your pair-sequences proof in the Japanese GWiki, right after I've posted my reply to you.

Does this mean that my analysis was right regarding the ordinal equivalent to (0,0)(1,1)(2,2)(3,3)(2,2)?