  In Lewis's theory of modality, then, modal operators are understood  semantically to be quantifiers over concrete worlds, predicates  denote intensions understood as sets of (n-tuples of) parts of those worlds, and sentences involving de re modalities are  understood in terms of counterparts. To the extent that these notions are free of modality, Lewis has arguably reduced modal notions to  non-modal. 