 For present purposes the important point to recognise is that, however these counter-examples to the substitutivity principle are explained, they are not counter-examples to Leibniz’s Law, which says nothing about substitutivity of codesignators in any language.