 Since different parts of a proposition may be considered variable, each proposition belongs to a number of different forms. In particular, there is no absolute distinction between the form and matter of propositions on Bolzano’s definition.