prover for pp