Eliminating descriptions means taking them as terms and then translating them into quantifiers, but regardless of scope, under the hypothesis for a 'scope indifference theorem', and subject to the restrictions that I have mentioned.