4.17 Exercise 4.17

TODO