User blog comment:PsiCubed2/An intuitive lexicographic ordering of numbers up to P10 (ω^ω-level)/@comment-30004975-20170510034026/@comment-30004975-20170510150508

Thanks!