 If one or more propositions \(A, B, C, \ldots\) are compatible with one or more others \(M, N, \ldots\) with respect to the components \(i, j, \ldots\), then there must be, as just said, at least some ideas that, when put in the places of \(i, j, \ldots\) make all of \(A, B, C, \ldots\) as well as all of \(M, N, \ldots\) true. One especially noteworthy case occurs, however, if not just some, but all of the ideas that, when substituted for \(i, j, \ldots\) in \(A, B, C, \ldots\) make all these true, also make all of \(M, N, \ldots\) true. In this case I say that the propositions \(M, N, \ldots\) stand in the relation of deducibility to the propositions \(A, B, C, \ldots\) with respect to the variable parts \(i, j, \ldots\) (Bolzano 2004a: 54), 