Exercise 1.2 from sf