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

Actually, since Bucholz's OCF is not consistent according to you, I don't even know if I can make that claim. Can't we just agree to not use Bucholz's OCF ? It's causing a lot of problems as you can see.

What I can assert with a great deal of confidence is that \(U(\Omega_\omega) = \psi(\Omega_\omega)\), using other standard OCFs, such as Deedlit's (abbreviated as KOCF).