Porn: find the cardinality of y