 Bolzano’s idea of an objective order among truths has its origin in the Aristotelian distinction between proofs of the fact and those that yield the reason of the fact. His problem is that of determining what should count as a proof of the second kind, the sort that he calls an objective grounding of a truth. Preliminary to this inquiry is one in which he tries to characterize the individual steps of such proofs in terms of the relation of ground to consequence, which he calls Abfolge (also translated as ‘grounding’).