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