end of chapter 6
before 7.4.4