For it is absurd if of every subject its own negation is to be predicable, while the negation of something else which cannot be predicated of it is not predicable of it; for instance, if it is true to say of a man that he is not a man, evidently it is also true to say that he is either a trireme or not a trireme.