s, but that things which are

s are not-

s. Now the class not-

s is expressed by 1 -

; hence the proposition No