In order to get this, let us first get a means of expressing with regard to some one particular relational property P, the proposition that P is internal to _any_ term which possesses it. This is a proposition which takes the form of asserting with regard to one particular property, namely P, that any term which possesses that property also possesses another--namely the one expressed by saying that P is internal to it. It is, that is to say, an ordinary universal proposition, like "All men are mortal." But such a form of words is, as has often been pointed out, ambiguous. It may stand for either of two different propositions. It may stand merely for the proposition "There is nothing, which both is a man, and is not mortal"--a proposition which may also be expressed by "If anything is a man, that thing is mortal," and which is distinguished by the fact that it makes no assertion as to whether there are any men or not; or it may stand for the conjunctive proposition "If anything is a man, that thing is mortal, _and there are men."_ It will be sufficient for our purposes to deal with propositions of the first kind--those namely, which assert with regard to some two properties, say Q and R, that there is nothing which both does possess Q and does not possess R, without asserting that anything does possess Q. Such a proposition is obviously equivalent to the assertion that _any_ pair of propositions which resembles the pair "AQ" and "AR," in respect of the fact that one of them asserts of some particular thing that it has Q and the other, of the same thing, that it has R, stand to one another in a certain relation: the relation, namely, which, in the case of "AQ" and "AR," can be expressed by saying that "It is not the case both that A has Q and that A has not got R." When we say "There is nothing which does possess Q and does not possess R" we are obviously saying something which is either identical with or logically equivalent to the proposition "In the case of every such pair of propositions it is not the case both that the one which asserts a particular thing to have Q is true, and that the one which asserts it to have R is false." We require, therefore, a short way of expressing the relation between two propositions _p_ and _q,_ which can be expressed by "It is not the case that _p_ is true and _q_ false." And I am going, quite arbitrarily to express this relation by writing _p_ * _q_ for "It is not the case that _p_ is true and _q_ false."