Devyn Proofs