5.21 We can bring out these internal relations in our means of expression by presenting a proposition as the result of an operation that produces one proposition out of others (the bases of the operation).

OK.