MAC 2021 Proofs