Update most of the last chapter and conclusion.

* Added more samples of errors in section about results
evaluation.
* Added (finally) soundness and completeness estimates.