Hey, even Dijkstra agrees with us on this one: > I remember how much more pleasant the predicate calculus became to work with after we had decided to give con-

Hey, even Dijkstra agrees with us on this one: > I remember how much more pleasant the predicate calculus became to work with after we had decided to give con- and disjunction the same binding power and thus to consider p ∧ q ∨ r an ill-formed formula. https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF (page 4-5)