Key to Exercise 1 from Allen