 Thus, for example, [\(e \lt \pi\)] is deducible from [\(e \lt 3\)] and [\(3 \lt \pi\)] with respect to the variable ideas [\(e\)], [3], and, [\(\pi\)]. In agreement with contemporary logic, this conclusion is not deducible from the premises if [\(\lt\)] is added to the variable ideas, but it is deducible with respect to those variables if we add the allegedly tacit premise. An additional noteworthy feature of Bolzano’s approach is that the allegedly unstated premise is equivalent to the claim that a relation of deducibility holds with respect to the ideas [\(e\)], [3], and, [\(\pi\)] (George, 1983).