fixed a thing in negation rule