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