Attributes can be constraints