Key to Exercise 4 from Allen