Counting and cardinality: one more

Provider: