Referential Opacity and Modal Logic | lit.salon