Fixing cardinalities