Added cardinality tests