Key to Exercise 15 from Allen