Will's Proofs