This interpretation is referentially transparent: the translation of an ostensible use of Leibniz's law or of an ostensible existential generalization is a valid argument if the terms involved are taken as descriptions with wide scope.