fixed negation