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

Your're still wrong. C(ε(0)ω+1) is ψ(εI2Ωω), not ψ(εI2+Ωω).