Arnauld and later Leibniz pressed that identity of nature requires intersubstitutability in all cont...