Implement native cardinality constraints.