H(Q) = Loop, H(Q(Q)) = Halt.