Since and I disagree about which are the coextensive names, we will disagree also about which are the expressions that express identity, which sentences are identity premises, and which inferences are genuine instances of Leibniz's Law.