uniqueness quantification Deductions multiplicity has part uniqueness quantification ⇐ (multiplicity is subclass of cardinality), (cardinality has part uniqueness quantification)