User blog comment:QuasarBooster/Second-order worms ordinal analysis dump/@comment-36984051-20190620230843/@comment-24923514-20190621013842

I understand that. So anything that isn't a zeta number, for example ζ_5*ω^2, isn't a fixed point of a -> ε_a, is that correct? And the same goes for the rest of the veblen function?