 (Here and in the following we simplify notation by dropping all initial universal quantifiers. Unless otherwise specified, all formulas are to be understood as universally closed.) We may call such a theory Core Mereology—M for  short[8]—since  it represents the common starting point of all standard theories.