[chapter 1] proofed the 1.1.2 part.