Exercise 9.6.5 done