Exercise 4.5.15