Key to Exercise 12 from Allen