 Another problem that all D-type theories must address is the problem of indistinguishable participants. Since on D-type theories, pronouns in one way or another have the semantics of definite descriptions, they come with uniqueness presuppositions. When it comes to conditional donkey anaphora, the way to meet these uniqueness presuppositions is by employing minimal situations—the definite description then picks out the unique object satisfying the description in the minimal situation. (With the exception of Neale’s theory: since he employs numberless pronouns, the pronouns have no uniqueness presupposition.) Thus uniqueness is satisfied within the situation, even if it can’t be satisfied in the larger world. But in examples of indistinguishable participants, uniqueness cannot even be satisfied within a minimal situation. Consider the typical example, (50):