Should be getting around to proving that all those functions are measurable, upto the algebra.

1. Lemma 2.2
2. Corollary 2.3
3. Corollary 2.4
4. Theorem 2.6
5. Theorem C.7
6. Corollary C.8
7. Theorem 2.8