is true or "

or

" is true. (The twist in this proposition serves to increase its deductive power.)

(5) If

implies