 Right now, two senses of the term dynamic semantics (as applied to natural language) emerge. First and foremost, dynamic semantics is the general idea that logical statements do not express truth-conditions but rather actions on contexts (where contexts can be conceptualized in various ways). A second understanding of the term dynamic semantics is a set of theoretical positions taken within debates concerning the semantics of certain natural language phenomena, most notably pronominal anaphora. (See below for a similar take on dynamic semantics with respect to presupposition). For the case of anaphora, this theoretical understanding embodies the combination of two hypotheses: (i) pronouns correspond to variables; (ii) indefinites are non-quantificational, they simply contribute a dynamic variable assignment update. As is clear from the second hypothesis, this theoretical use of the term dynamic semantics presupposes the more general view that meanings are actions on contexts. 