+ Refactor cardinality method