To not consider the contrapositive.