Section 9.2 finished.