Added introduction to Section 3.