Russell would never have been tempted to postulate unrestricted exportation for definite descriptions, since it amounts to saying that a small scope formulation always implies the corresponding large scope formulation, which he clearly does not believe.