User blog comment:Explodingnotation/Explodingnotation's beta. (An ordinal notation)/@comment-25601061-20180217162413/@comment-30118230-20180217195148

Using m+n is fine if you find strong diagonalizers in the function.