 To predicate P of S is either to say of S what it is not, or it is to say of S what it is. That is, it is to say that S is not S (because it is P), or it is to say that it is S. We either get a contradiction—we say, in effect, that S is not S—or an instance of the law of identity—we say that S is S. Neither option is satisfactory.