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 ther