SELECT sum(cardinality) AS cardinality