fixing the ProverPackage interface.