Evaluation of Proof