,

,

which occur in them. We may therefore substitute for (say)

any expression whose value is always a proposition, e.g. not-

, "