Proposition 6.1
Proposition 7.3
Lemma 7.6
Proposition 7.7
Proposition 7.8
Lemmas 7.9-7.12
Proposition 7.13