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

> No, it shouldn't be a problem.

Hmm...? So why did you say that I am incorrect? I could not understand your statement.

> However, it is more difficult to analyze Buccholz's OCF with BMS.

It might be relatively difficult, but is regarded as an easy one in the following comment by Syst3s. Maybe others also think so.

>> Using Bucholz's psi (or UNOCF's, for that matter), it's very easy to analyse pair sequence system.

Now I would like to ask you the following two:
 * 1) Am I incorrect, as you stated? (Then why?)
 * 2) Are Syst3m's and Rpakr's analysis correct? (Then why?)

I explained my statements with full proofs, but none has disproved them. I just heard something like "you are incorrect anyway" may times. It does not help to solve the problems, because I have already shown references for the proofs. What are wrong in my proofs?