... degrees of validity, the differences between necessary and sufficient assumptions, ... between "most strongly supported" and "must be true," basic conditional diagramming, ... existential quantifiers, logical indicators and their respective groups, negation ...