 Again, on the readings of these sentences on which “he” and “his” “look back” to their antecedents for interpretation rather than being assigned independent reference (e.g., by pointing to Chris when uttering “his” in (12)). It is widely held that in such cases, the pronouns function semantically as variables bound by their quantifier antecedents. Thus, their semantic function is just like that of bound variables of first order logic.  [3]  The insight that some pronouns with quantifier antecedents function like bound variables in first order logic goes back at least to Quine (1960, see chapter IV section 28). Historically, these cases have been of more interest to linguists than philosophers. For example, one thing that needs to be explained is that in a sentence like “Sarah likes her”, “Sarah” and “her” cannot co-refer (in order to get a co-reference reading, we must say “Sarah likes herself”), though we can get the co-reference reading (or not) in a sentence like “Sarah likes her sister”. Accounting for these types of patterns of sentence-internal anaphora is the central concern of the area of linguistics called binding theory (see May 1980; Higginbotham and May 1981; Chomsky 1981; Reinhardt 1983a,b; Büring 2005). Though these insights are all important, if examples like  (3),  (11), and  (12)  were the only kinds of pronominal anaphora, they currently would not be of much interest to so many philosophers and linguists. 