Exercise 1.12