  A fact is monadic if its constituent universal is a  property. A molecular fact f is a conjunction of  atomic facts. Its constituent objects and universals are exactly  those of its conjuncts and an entity exists in f just in case  it exists in one of its conjuncts. (For simplicity, we stipulate that an atomic fact has (only) itself as a conjunct and, hence, is  “trivially” molecular.) One fact f includes another g if every conjunct of g is a conjunct of  f. (Note, importantly, that inclusion, so defined, is quite  different from the homonymous notion defined in the discussion of  abstractionism above — most notably, combinatorial inclusion is not a modal notion.) For purposes below, say that an object  a is a bare particular in a molecular fact f  if there is no monadic conjunct of f of which a is the  constituent object, no conjunct of the form a exemplifies F,  for some property F. a is a bare particular if it is bare in every molecular fact. Intuitively, of course, a bare  particular is an unpropertied object. 