In this colstruction we are going to futrher discuss properties of constraints. We are going to play with canonical covers and with completeness of rules.