Much stronger fragments of second-order arithmetic can be interpreted by type-free truth systems, that is, by theories of truth that prove not only the truth of arithmetical sentences but also the truth of sentences of the language \(\mathcal{L}_T\) with the truth predicate; see Section 4 below.