Key to Exercise 13 from Allen