 The relation of entailment between (sets of) conceptual truths has the characteristic feature that, according to it, from the smallest number of premisses the largest number of conclusions will follow none of which has simple components which are not also contained in its premisses (WL II, 386). Ideas such as these sound akin to Gerhard Gentzen’s characterization of normal proofs: “They do not make a detour. They do not introduce concepts which are not contained in its final result and must therefore be used necessarily in order to get it” (Gerhard Gentzen, “Untersuchungen über das logische Schliessen”, Mathematische Zeitschrift 39, 1934/35: 176–200, 405–431, see p.177). It has been pointed out, therefore, by several commentators, that there are interesting parallels between Bolzano’s semantic notion of entailment and Gentzen’s syntactic concept of “normal proofs” (cf. Buhl 1958, 85 f., Berg 1962, 151–164, and, more recently, Rumberg 2012), and that Bolzano in a certain sense anticipated Gentzen’s Hauptsatz (Berg 1987, 41). (In Schröter 1955, 60–61, 85–86, and Schröter 1958, 32–34, Gentzen’s consequence relation is compared with Bolzano’s relation of Ableitbarkeit, but, unfortunately, Bolzano’s relation of entailment (Abfolge) is not taken into consideration in this context by Schröter.)