5.24 An operation shows itself in a variable: it shows how from one form of proposition one can arrive at another.

It gives expression to the difference between the forms.

(And what is common to the bases and the result of an operation is just the bases.)

OK