Appendix A Proofs of Formal Claims