Charles's Proofs