Deklan Proofs