User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20131208031727

ψ(ψI 2 (0)) is not C(Ω). It's just C(C(ω)). See my page for more details.