adds halting problem joke