Prever prover