Counting and Cardinality