Little work on Exercise 1.3.9