¬p ⇒ ¬q