Ψ(ψᵢ(0))

\(\psi(\psi_I(0))\) is a large countable ordinal.