Operations cannot make their appearance before the point at which one proposition is generated out of another in a logically meaningful way; ie the point at which the logical construction of propositions begins.