a little clearance on running the prover.