User blog comment:Ikosarakt1/Hardy hierarchy up to psi(K)/@comment-35470197-20200118075815

> it doesn't matter because ordinals can be treated just as notational symbols

It is wrong, unless you explicitly construct an ordinal notation associated to the function ψ which you used.