Exercise 4.16