negation update