Halting problem proof in the style of Dr. Seuss | Hacker News Reader