de re and de dicto in nLab
ncatlab.org