K-Main:  Counting and Cardinality