  We might try to assign to T a classical signification, by expanding M to a classical model M′ = &lt;D′, I′ &gt; for all of L, including T. Also recall that we want M′ to satisfy the T-biconditionals: for our immediate purposes, let us interpret these classically. Let us say that an expansion M′ of a ground model M is Tarskian iff M′ is a classical model and all of the T-biconditionals, interpreted classically, are true in M′. We would like to expand ground models to Tarskian models. We consider three ground models in order to assess our prospects for doing this.