Exercise 1.8 (section 1.3) done!