exercise 9.6.5