Instead, he calls Smullyan's proposal a 'modification' of Russell's theory, which he erroneously thought allowed distinctions of scope only in the case of failure of existence and uniqueness (and this, he says, was indispensable for the idea that Russellian descriptions can serve as a surrogate for a theory that takes them as genuine terms).