Cardinality specifications

Please ignore this pull request as well. This is to code review internally.