I think part of the appeal of mathematical logic is that the formulas look mysterious – you write backward Es!