User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-30754445-20180813155654/@comment-30754445-20180817121440

@Rapkr Sorry, haven't seen this, because it was written while I was writing my own post"

"Pair sequence system have two agreed-upon rulesets.

BM1 rule and BM2 rule."

I'm not sure whether this is true or not. But if it is then:

(1) These "official rulesets" should be written somewhere for steady reference.

(2) This steady reference should be verified by as many people as possible as legit.

(3) Accepting this reference as offical, means that the given rules for BM2 pair-sequences are now binding. These rules cannot be changed in the future. And anybody who proposes an extension that claims to be "BM2" will need to first prove that his rules dont contradict the accepted BM2 rules for pair-sequences.

Anybody working on that?

Also, even if I accepted your statement as true without question, it still doesn't explain how P-bot was able to prove termination "for three seperate versions of BMS". Especially when BM1 pair-sequences are known not to terminate...