7.1. Exercises: negation