CHRIS: Proofs