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

"I love understanding notions and proving statements in a mathematically strictly precise way."

And persumably keeping those proofs to yourself, eh?

We already had such a "private proof" for the termination of BM1. For a few years everybody here (including myself - I admit) just trusted it without ever seeing it. Apparently that wasn't such a bright idea, was it?

Also, how on earth could you prove the termination of a notation that has no agreed-upon ruleset? When you made that claim, my BS detector shot through the roof.

Not to mention the fact that arguing about the finer points of specific OCFs with people who don't understand even the basics of how OCFs work, is most certainly a pointless waste of time. I don't really see what insights you hope to gain from such a discussion.

TL;DR I'm not impressed.