Implement CARDINALITY