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

> Can't we just agree to not use Bucholz's OCF ? It's causing a lot of problems as you can see.

Well, Buchholz's OCF has many good properties originally verified by Buchholz, and hence is one of the most useful OCFs when I personally prove the strength of other systems.

But as you suggest, it might be better for me not to use at least in comments in ambiguous contexts.

> such as Deedlit's (abbreviated as KOCF).

To tell the truth, I could not understand why Deedlit's OCF actually works as he explained... (It is well-defined, but the statement on its strength looks strange for me. Maybe I am wrong. Although I am asking him the reason, he seems not to be active in this wiki these days.) Therefore I need to study more about both UNOCF and Deedlit's OCF, if I avoid using Buchholz's OCF.

Anyway, thank you.