More on the prover