Richard Coffman Proofs