Christopher Fonseca’s Exercise 10.16