Exercise 10.10 partially solved
Solving exercise 10.11