Key to Exercise 16 from Allen