I found a rather elegant solution for the halting problem. I would share it here but it won't fit in the margins.