Exercise 5.24