 Finally, mereological relations are usually regarded as being instantiated by concrete objects and the wholes they form. A derivative notion can be defined for properties via reference to mereological relations between their instances. However, it is not clear how this could extend to events or event-types. Thus interpreting reduction as a matter of mereology might prevent us from applying it to events and deprive us of a fully general notion of reduction.