We can stick with verb phrase taking quantifier phrases of the category S/(S/N), restricted by constituent common nouns in most cases, and bind variables when necessary but only when necessary by means of a separate constituent called a binder: a certain sort of (S/N)/S that takes a sentence and makes an extensional verb phrase by binding a variable at all its free occurrences (if any) in the sentence.