as is evident on squaring it. It therefore represents a class. We may replace it by an elective symbol

, we have then

the interpretation of which is

All not-

s are not-

s.