Draft of Evaluation chapter, all mentioned proofs.