def of value constraint