Beverly's Proofs