Reasoning about De re Modality