Formal mereologies are difficult to apply to the material parts of biological mechanisms. Axioms of mereology, such as reflexivity (everything is a part of itself) and unrestricted composition (any two things form a whole) do not apply in standard biological uses of the “part” concept.