5.23

The operation is that which must happen to a proposition in order to make another out of it.

383