 In particular, this domain must expand in the course of the reasoning about the semantic status of the Liar. In the initial context, \(\exists p\) must range over a small enough domain that there is no proposition for \(L\) to express. In the subsequent context, the domain expands to allow \(L\) to express some true proposition. Proposals for how this expansion happens, and how to model the truth predicate and the relation of expressing a proposition in the presence of the Liar, have been explored by Glanzberg (2001, 2004a), building on work of C. Parsons (1974). Defenders of this approach argue that it does better in locating the locus of context dependence than the parameters on truth predicates view.