It is not the case both that is true and false by and if, further (on the analogy of the similar case with regard to entails), we express the proposition that of every pair of propositions which resemble A and A in the respect just mentioned, it is true that the first has the relation to the second by then, it is natural to express, by If anything has, then that thing has.