Russell may treat this as equivalent to a far more powerful metatheorem that scopes, even with multiple descriptions, and so on, never matter in an extensional context, if we assume an appropriate hypothesis that the existence and uniqueness conditions are fulfilled.