 In the minimal situation that satisfies the antecedent, there are two bishops that have the same property (meeting another bishop). Thus descriptions like “the bishop” or “the bishop who meets a bishop” do not denote uniquely. DRT and dynamic theories don’t have any problem at all with these examples because pronouns are treated as dynamically bound variables, not definite descriptions, and each instance of “a bishop” in the antecedent of (50) is associated with a different variable, which prescribe the anaphoric links to the two pronouns in the consequent. For D-type solutions to this puzzle see Heim(1990), Ludlow (1994), Elbourne (2005, 2016), Lewis (forthcoming).