Domain K.CC, Counting and Cardinality