User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20140203095754/@comment-1605058-20140627105039

But it's impossible to recursively give fundamental sequence for every ordinal up to CK.

How about ordinals _beyond_ psi(psi_I(0))? There might be more meeting points there.