Key to Exercise 8 from Allen