It's easy to see that enforcing these constraints requires us to count the number of titles and then verify that it's one. Now one can generalize this to count the number of values associated with each object and check whether it lies between an upper and lower bound. This is referred to as the cardinality constraint.