Exercise 4.38.ss