Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis