New: prover