 a differs from (is [really] distinct from) b iff there is at least one z such that a is predicated of z and b is not, or vice versa, or there is at least one w such that w is predicated of a and not of b, or vice versa.