New prover is now in place.