Operations cannot make their appearance
before the point at which
one proposition is generated out of another
in a logically meaningful
way; i.e. the point at which the logical
construction of propositions
This seems to be so
in the Principia Mathematica and there makes
sense. Then again, one may start from the notion
of a function rather than of a proposition e.g.
as in combinatory logic.