Exercises: negation