modified cardinality constraints