Figure 2:
Validation of the model through Procheck.
