Tarski’s most basic idea about how to construct a truth predicate, a predicate which will be intuitively satisfied exactly by the intuitively true sentences of LCC, is that such a predicate should verify what he calls “convention T”. This convention imposes a condition on defined truth predicates ((a) in the example immediately below) that Tarski often talks about as grasping the intuitions behind the “classical Aristotelian conception of truth” (cf. Tarski 1983b, p.  155; 1944, pp. 342–3). Convention T is here spelled out for the case of LCC: