"I think part of the appeal of mathematical logic is that the formulas look mysterious - You write backward Es!"