Testing cardinality