User blog comment:Alemagno12/Huge Ordinal Analysis I: Z 2/@comment-30004975-20180206192307

Your w^w ordering can't describe w+1.