Smullyan, Prior, Fitch, and, in agreement with him, his student Ruth Marcus (then Ruth Barcan; see Barcan, were shining exceptions in their grasp of the intensional aspects of Russellian scope distinctions.