CH 2019 Proofs