When using cardinality, we use the normal sum