* negation tests