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

(ζ_0)^(ζ_0)^(ζ_0)^(ζ_0)^... actually equals ε_(ζ_0+1). To get ζ_1 you need ε_(ε_(ε_(...(ε_(ζ_0+1))...))).