  Kaplan’s theories of true demonstratives allow sentences that resemble (26) to be false in some contexts, but at the cost of attributing a type of ambiguity to ‘that’. For example, on his later indexical theory of demonstratives, some formal analogs of (26), such as (27), are true in contexts in which the first demonstratum of the context is distinct from the second.