User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-24509095-20140507175906/@comment-10429372-20140508053607

He doesn't like there is no $$\alpha$$ is no such that $$\psi_\alpha(0)$$ is equal to $$\varepsilon_{I+1}$$, and that could be prevented if $$\varphi$$ wasn't inthere.