Negation of if then. Then prove it has the properties it is claimed to have.