This paper is concerned with modality de re, and how possible worlds best represents this
kind of modality. There are mainly two different ways for possible worlds to represent
modality de re; either we have trans world ...