I think part of the appeal of mathematical logic is that the formulas look mysterious - you write backward Es! — Hilary Putnam Copy Share Image