Removed the cardinality operator.