 The second dimension of generalization concerns the number of arguments we let quantifiers take. We can, for example, introduce binary quantifiers, \(Q(A, B)\), whose truth condition is given in terms of a binary relation between the extension of the formula \(A\) and the extension of the formula \(B\) in a model.