Fixed the negation bug