 M is standardly viewed as embodying the common core of any mereological theory. Not just any partial ordering qualifies as a part-whole relation, though, and establishing what further principles should be added to (P.1)–(P.3) is precisely the question a good mereological theory is meant to answer. It is here that philosophical issues begin to multiply, over and above the general concerns mentioned in Section 2.1.