Proposition 5.1
Proposition 6.1, Part 1
Proposition 6.1, Part 2
Proposition 6.6
Proposition 7.1
Proposition 8.1