Key to Exercise 17 from Allen