Key to Exercise 18 from Allen