Halting problem proof in the style of Dr. Seuss
lel.ed.ac.uk