negation fix