 Let us suppose we have a fixed language \(\mathbf{L}\) whose sentences are fully interpreted. The basic question Tarski poses is what an adequate theory of truth for \(\mathbf{L}\) would be. Tarski’s answer is embodied in what he calls Convention T: