Cardinality specifications