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

Right. I gathered that the rule about φ(a+1,n+1) was true based on the example you gave using ζ_1. Quick question, is something like ε_(ζ_0*2) or ε_(ζ_0^2) safe from the fixed point issue like ε_(ζ_0+1)?