User blog comment:Nayuta Ito/What We've Agreed on Stage Cardinal/@comment-25601061-20180521220739

Um, no. First of all, I think that S(x) should be I1+x, and second, S(κ+T) is DEFINITELY not the fixed point of α→ψS(κ+T)(α).