Enforcing minimal cardinality