* Chapter 7 is also fully proved