Completed Section 2, and also Section 3.4.