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 and, that there is nothing which both does possess and does not possess, without asserting that anything does possess.