User blog comment:QuasarBooster/Higher order worms?/@comment-34422464-20190606232043/@comment-35470197-20190608231054

> is that correct?

Yes, as long as my guess that it admits such a well-ordering is correct.

> Does that mean that the growth rate of fighting ω-order worms is related to the expansion of the ordinal ψ(ψ_I(0)), as you mentioned?

Partially related. Since the expansion rule itself is completely different from that of extended Buchholz's OCF, I guess that it is more reated to ordinals below \(\psi_0(\psi_{\psi_1(0)}(0))\). The copy rule is only compatible with worms corresponding to exression like \(\psi_0(\alpha)\) because it does not use the cofinality, and hence no worm might correspond to \(\psi_0(\psi_{\psi_1(0)}(0))\). Since it is not a proof, I might be wrong.