Model theory for modal logic—part II the elimination of De re modality