Section 5.3 finished.