simplyfing call to prover