2453: Excel Lambda

Extremely rude how Turing's later formulations of the halting problem called me out by name specifically.