Prover is following