Donovan Proofs