User blog comment:KurohaKafka/Turing-incomplete/@comment-25601061-20171027234156/@comment-30754445-20171028210526

and KK...K reduces to KK.

The claim that Ξ[K](x) = x is correct, though. The proper string for this is K(KK...K)