... advice from careless, naive, and uninspiring people. I took ... necessary and sufficient assumptions, the differences between "most strongly supported" and "must be true," ... , existential quantifiers, logical indicators and their respective groups, negation, ...