Chapter 1 revision.
Fleshed out prover design chapter.