User blog comment:QuasarBooster/Second-order worms ordinal analysis dump/@comment-37493717-20190621044716

so like if these worms are biggest infinities how they finitenumber s?