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

Can you explain why C(ε(0)ω+1)=ψ(ψI(ε(IΩω)))? You can compare FGH with SGH from C(ε(0)ω) either "outside" or "inside".