Danielle_proofs