User blog:Edwin Shade/Rank-on-Rank Turing Ordinals and Beyond