 The first two of the theories discussed below, discourse representation theory and dynamic semantics, represent departures from traditional semantics, departures which were largely motivated at the beginning by the problematic anaphora cases. The second two theories discussed below, d-type theories and the CDQ theory, represent ways in which the problematic anaphora data is dealt with within a traditional semantic framework.