Appendix 420 A Missing Proofs of Section 4 421