candice Proofs