McKeel Proofs