Mereological reduction requires unit-universals; but incompatibility could be explained by non-mereo...
This proposition has not been edited since the history system was added.