I wrote “help needed” next to some difficult calculus problems. It didn’t do any good.

Then I wrote, “Nevermind. I got it, bastards.” Before my pencil had left the paper, Kurt Gödel appeared out of thin air, smacked me in the writing arm with an elongated “S,” and vanished. I still get chills when I think about formal systems to this day.