 Bolzano’s logic of extensional relations between propositions represents a major innovation which has no equivalent in traditional logic. It is based on the method of variation that we have already encountered. Bolzano introduces this part of his logic as follows: