Students will analyze statements, write definitions as conditional statements and verify validity. Why? So you can verify statements, as seen in Ex 2.