Slightly better test: assert the negation.