Dominque Proofs