Lauren's Proofs