As was observed already by Tarski (1935), certain desirable generalizations don’t follow from the T-sentences. For instance, together with reasonable base theories they don’t imply that a conjunction is true if both conjuncts are true.