started Sections 3 and 4 - main definitions, lemmas, and proof ideas