User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20131123012106/@comment-10429372-20131123063213

Fixed. I guess that the first point where the catching function catches up the normal hierarchy is ψ(ΨΞ(ω,0)(0))