User blog comment:Googleaarex/My ordinal is smaller!/@comment-5150073-20140922213520/@comment-25371339-20141019004858

psi(psi_chi(M_M_chi(m))(0)) = psi(psi_chi(M_M_psi(psi_i(0)))(0)) :D

psi(psi_chi(M_M_W)(0))