Christopher Fonseca’s Exercise 10.15