Moving proofs to the appendix