“It’s not at all obvious how to go about thinking up some new twist on these things—the transformation from test-taker to theorem poser and then theorem prover is difficult to articulate. My ideas have always felt contingent and magical to me. I don’t think I’m alone, at least as far as the magic goes.” – The New Yorker