Exercise 1.23