MATH 1001: Tautologies and Self-Contradictions