 Other cardinality quantifiers, however, do increase the expressive power of classical quantifical logic. We may, for example, introduce cardinality quantifiers of the form \(Q(A)\), which require the extension of \(A\) to have an infinite cardinality: