Technically, this is very similar to earlier work in formal semantics, with two exceptions: the interpretation process always takes the previous discourse into account, and the level of semantic representations is claimed to be essential. What has worried some semanticists is not so much the fact that DRSs are mental representations, but that an additional level is needed, and used in ways that render the theory non-compositional; we will return to this issue in Section 7.