Add negation for already evaluated argument. Negation for unevaluated argument still undefined.