negation of a statement