Moreover, Quine criticized Arthur Smullyan, who simply applied Russell's scope distinctions to necessity, and stated that you don't necessarily get a paradox from universal substitutivity of identity and statements about the number of planets.