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

"Also, how on earth could you prove the termination of a notation that has no agreed-upon ruleset?"

Pair sequence system have two agreed-upon rulesets.

BM1 rule and BM2 rule.