get negation right