Fix a bug in negation