  First divide things up into the existents and the non-existents, the latter corresponding to the category ‘absence’. Now take inherence to be a primitive, fundamental relation. Given such a relation, the following three-fold division is exhaustive: