Exercise 9.6.7-8