Finish to refine the last example on constraints set derivation.
Add the first part of completeness proof.
Add the second part of the completeness proof.
Add the third part of completeness proof.