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