[H8crilA]

That is, I think, the second part of the joke, all required to "prove" the thesis at the end, namely that halting problem is solvable :)