Exercise 3.5, plus Downey's answer