add negation