User blog comment:Wythagoras/My Turing machines/@comment-6768393-20131012123348/@comment-10429372-20131013140234

Yes, if you see it like that, then we can create stages, then is K in the next stage.