first version of the constraint system