Continued work on prover.