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