Caroline's Proofs