Referential opacity and modal logic | lit.salon