some initial work on the prover mode