 How might we choose between sortalism and somatism? The dispute between them can seem difficult to pin down. Perhaps an irenic compromise is possible. Metaphysically, this compromise favours the somatist, but seems to give the sortalist everything he should want. The principle of the compromise is that Wiggins’s formal argument is correct: and hence it is necessarily true that Relative Identity is not possible. But it is only a contingent truth that the terms that can substitute for F in his formal proof are generally—but not always—sortals of an Aristotelian kind. Anything can be substituted for F that picks the object out as a unified body.