 On more “classical” mereological systems, if A is an improper part of B, this implies that A and B are numerically identical, but in the system suggested by Molto, this is denied. He argues that this change is not merely theologically motivated, but may be applicable to other issues in metaphysics (410–3).