User blog comment:Ubersketch/A proposal for a standard/@comment-35470197-20190811012241/@comment-39541634-20190812235906

>At least, I think that it is not trivial for the majority here to determine whether Ω_a < ψ_b(c) or not for given ordinals a,b, and c below the least Omega fixed point.

I guess I'm in that majority, because up until now I was convinced that up until the Omega Fixed Point:

1. Ω_a = ψ_a+1(0) for all a

2. Ω_a <= ψ_b(c) if and only if a<=b+1 (with #1 above giving the case where the two are equal)

Isn't that true? A counter-example will be appreciated.