Appendices A Proofs in Section 3