Constraints on Class Definitions