* more negation tests