Exercise 10.11 solved