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