no need for the negation