Sherson and Willis Proofs