 This should be true if most pairs of women and donkeys they own are such that the women beat the donkeys. But this prediction, particularly in the case of (28), seems clearly false. If there are exactly ten donkey owning women and one woman owns ten donkeys and beats them all, while the nine other women own a donkey each and don’t beat them, (28) intuitively seems false: most donkey owning women fail to beat the donkeys they own. However, the DRT account as formulated claims (28) is true in this situation. This difficulty is one of the main criticisms of classical DRT in the literature and is often called the proportion problem (Heim (1990) claims that Nirit Kadmon so dubbed it). The criticism is damaging, because it appears to refute what was claimed to be a central insight of DRT: that the apparent quantificational force of indefinites comes from other elements that bind the variables in them.