Fixing negation