Chris: Proofs