Example and Exercise 1.7 (section 1.3)