Holt Proofs