3.311 An expression presupposes the forms of all propositions in which it can occur. It is the common characteristic mark of a class of propositions.