Miss C: Proofs