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

@Ecl1psed276

> You seem to be operating under the assumptions that:

I assumed none of them. Actually, I was trying to prove the termination for several versions.

> And I haven't seen any reason to believe the "analyses" of BMS that people throw here on a regular basis.

I listed up these 9 questions, because they are sufficient to disprove the correctness of several analyses.

> And while I've accepted that most people here just don't care whether they make sense or not, I assume that you are different in that respect. Am I right? Idk if you are right about that, ask Pi Bot himself. I think he's somewhere in between your side and my side in this debate.

I believe everyone here. But I never use their analyses, unless I prove them.

Also, I am trying to disprove some of them.

> This is the bottom line: We get that you don't like our BMS analyses because they aren't formal enough. But that's not a reason to just write it off as invalid, just because it hasn't been proven.

Oops... I do not dislike the analyses. I am just trying to formalise them, believing that they are completely correct. I am sorry if my behaviour does not look so.