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

Right. It is because zeta numbers are precisely defined by enumerating all fixed points of epsilon numbers, and φ(x,-) numbers are precisely defined by enumerating all fixed points of functions φ(y,-) for any y < x.