Numerical identity is a logical relation governed by Leibniz's Law: it is necessarily all-or-nothing...