Ben Allen Proofs