Fix the negation problem