User blog comment:P進大好きbot/New Issue on Traditional Analyses/@comment-39541634-20190825100759/@comment-39541634-20190825135939

> I have heard several times the excuse "I thought that Buchholz's OCF is the same as UNOCF below ψ(Ω_ω)".

To be fair, under the most natural interpertation of UNOCF (at these levels) this statement is true.

I have no idea why anybody would think that ψ₀(ψ₁(ψ₂(ψ₃(0)))) = ψ₀(Ω₃)  in UNOCF, though. It doesn't jive at all with the outline/walkthrough/intro that Username5243 gave when he introduced the notation.