User blog comment:QuasarBooster/Higher order worms?/@comment-24923514-20190607153452

I think I understand now. So the fact that ω-order worms can be well ordered in the same way as ordinals in Buchholz's extended OCF means that any of these worms can eventually be killed, is that 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?