User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-30118230-20180202175321/@comment-25601061-20180202214501

I think why the PTO of Z2 and other huge systems hasn't been found is because the people working on ordinal analysis don't have big enough notations to do analysis, like SAN or even BMS. In fact, I am already predicting that the PTO of Z2 can be expressed in DAN.