 Bolzano’s discussion in Volume 2 of TS ends with a few conjectures bearing especially on formal grounding relations among purely conceptual truths like those of mathematics (TS, §221). To begin with, he maintains that the grounds of non-basic purely conceptual truths always lie in other purely conceptual truths. When the consequence is deducible from the ground, there are no redundant premises (a condition satisfied, as we saw above, in cases of exact deducibility). In addition, the individual truths supporting a purely conceptual truth are never more complex than it is. Each is, moreover, the simplest among all propositions equivalent to it. (Bolzano uses these claims to argue that the grounding trees for purely conceptual truths are always finite.) They are also the most general propositions from which the truth can be deduced.