Constraints and Definitions