Provided that the notion of modality de re, and thus of quantifying into modal contexts, makes any sense at all, we have quite an adequate solution to the problem of avoiding paradoxes if we substitute descriptions for the universal quantifiers in because the only consequence we will draw, for example, in the bifocals case, is that there is a man who both happened to have invented bifocals