SMS: Substance and individuation in Leibniz