Definition of Prover