 The Chang quantifier collapses into \(\forall\) only in the finite case; if \(D\) is infinite, then the extension of a formula \(A\), \(I(A)\), may match the cardinality of the domain, \(D\), even if the two sets are different and \(I(A) \neq D\).