Label: reasoning by constraint