Contrapositive

(NOT p249 Alt. 1) w/ "C"s to "P"s