User blog comment:Billicusp/So I don't know if anybody noticed.../@comment-27173506-20160318160910/@comment-27513631-20160318232119

Sorry if I'm mistaken, but I thought that $$\chi(M^M)$$ was equal to the least fixed point of $$\alpha\mapsto I(1@\alpha)$$, not beyond any recursive extension of it.