1.7 Logical Statements and Counterexamples