If p then not p