Exercise 1.16 (section 1.4.3) done