+ sum of cardinalities