fixed negation.