Written the prover