Exercise 3.2 (7)