On Frege’s view, a single quantifier can bind an unsaturated position that is associated with a function that takes a single argument. But it is equally true that two quantifiers can bind two unsaturated positions associated with a function that takes a pair of arguments. For example, the proposition that everyone likes everyone can be represented with the formal sentence ‘\(\forall x \forall y [L(x, y)]\)’. Assuming that ‘Romeo’ and ‘Juliet’ indicate arguments, it follows that Romeo likes every