User blog comment:AarexWikia04/Aarex Cardinal/@comment-1605058-20160729220551/@comment-25601061-20160729221920

I think: (this is my psi function)
 * Ω is collapsed in ψ(Ω)
 * I is collapsed in ψ(ψI(0))
 * M is collapsed in ψ(ψχ(M)(0))
 * I:x is equal to S(TT x ), which is collapsed in ψ(ψχ(S(TT x ))(0))
 * T is collapsed in ψ(ψχ(S(T))(0))