properties are all set, adding constraints