It is referentially opaque: the translation of an ostensible use of Leibniz's Law or of an ostensible existential generalization is an invalid argument if the terms involved are taken as descriptions with narrow scope.