 In addition to this, DRT builds in to the assignment of truth conditions default existential quantification over free variables. Thus, (27a) is true iff there is some assignment to the variable “x” that is in the extension of “man”, “loves Annie” and “rich”, that is, iff something is a man who loves Annie and is rich. Thus, that indefinites appear to have the force of existential quantifiers in cases like (27) is not because they are existential quantifiers but because of the default existential quantification of free variables.