If p then q p q