An expression is thus presented by a variable, whose values are the propositions which contain the expression. (In the limiting case the variable becomes constant, the expression a proposition.) I call such a variable a “propositional variable”.