User blog comment:Nayuta Ito/Googology Tale: Go Shopping/@comment-35470197-20190114015601/@comment-35470197-20190114025009

Then I noticed that the punch line is arranged. (The ordinal \(\omega^{\omega^{\omega}}2+\omega^{\omega 2}\) does not possess the information of the original non-standard expression.)