Finish exercise 8.5.1
Finish exercise 8.5.2