User blog comment:Wythagoras/Catching function in normal ordinals/@comment-1605058-20131112215326/@comment-1605058-20131114203049

From what I see, catching function is even stronger than suspected.