. Now take the fifth of our above principles, substitute not-

for

, and remember that "not-

or

" is by definition the same as "