 where S is a sentence of L and p is its translation into the metalanguage of L in which the definition is formulated. Thus, Tarski’s account of truth presupposes that the semantics of both L and its metalanguage is fixed (otherwise it would be undetermined whether S translates into p). On Tarski’s view, each biconditional of form (T) counts as a “partial definition” of the truth predicate for sentences of L (see the entry on  Tarski’s truth definitions).  By contrast, Davidson suggested that if one took the notion of truth for granted, then T-biconditionals could be read as collectively constituting a theory of meaning for L, i.e., as stating truth conditions for the sentences of L. For example,