fixing negation approach