User blog comment:Boboris02/Boris's ultima function/@comment-24676271-20161104001226/@comment-30118230-20161104162112

It's cus I didn't know there were well-defined ordinals \(\alfa \) for which \(\psi(\psi_I(0))<<\alfa<<\omega^{CK}_1\).