Charlie's Proofs