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