New preamble. Finished all of this chapter but the corrections to lemma 1.8.