Exercise 7.6.4