Larry Proofs