negation bug