Halting problem proof in the style of Dr. Seuss · HackerTrans