How to teach the Halt