fix negation.