First section of prover eval chapter.