Dianca Proofs