User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451

Looking at I's and the M's:

It looks like the same trick is attempted through out the entire system: using an additional cardinal at the bottom to do some extra work.

So U(Ω(1,0,0,...))=U(M^M^ω) is actually supposed to be equal to the "standard" ψ(M^ω) (note that there's one M less in the latter expression).

I'm going to be very surprised if this actually works all the way through. But I've already been surprised by this trick once today... and I'll be more than happy to be surprised again :-)