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

"But I am dealing with Buchholz's OCF, as I clearly declared in the blog post. Therefore it is not a problem here, is it?"

No, it shouldn't be a problem. However, it is more difficult to analyze Buccholz's OCF with BMS. UNOCF is a lot easier, for the reasons I mentioned in the previous comments.