Reasoning about De re Modality (The Reasoner, 2024)