Exercise 3.6.4