generalization to objects for constraint values worked, have a string-concatenation constraint