  Other than the truth predicate, we will assume that our language is interpreted classically. More precisely, let a ground model for L  be a classical model M = &lt;D, I &gt; for L−, the T-free fragment of L, satisfying the following: