Key to Exercise 9 from Allen