add a prover