 Already in his theory of ideas Bolzano used a method which he was very proud to have invented: the method of idea-variation. He made the most fruitful usage of this method, however, by applying it to whole propositions.