Christopher Fonseca’s Exercise 10.11