Hartshorne. The study has three aims: to outline the role of de re modality in the OA, to reinvestigate the de re / de dicto … contemporary proofs of existence are vague. We conclude that a more precise distinction between modalities de re and de dicto makes …