Devane proofs

Devane proofs