David Kahn Proofs