Counting and cardinality