Key to Exercise 6 from Allen