Definition of NEGATION.