Exercise 5.13 is still under development