 Although Tarski (1935 [1956]) places great importance on the instances of his (T)-schema, he comes to recognize that those instances do not provide a fully adequate way of characterizing truth. Moreover, even when the instances of (T) are taken as theorems, Tarski (ibid.) points out that taken all together they are insufficient for proving a ‘true’-involving generalization like