User blog comment:Edwin Shade/Questions About Madore's Psi Function/@comment-31663462-20180112022247/@comment-30004975-20180112023259

psi_M does...something weird. psi_(M+1) generates M-level ordinals.