Template:Individual-TLP-paragraph-en-5.23

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