3.5. Negation