must be true. But inference will only in fact take place when the proposition "not-

or

" is known otherwise than through knowledge of not-

or knowledge of

. Whenever