Exercise 6.4.2