End of Chapter 7.1.3