Title: Referential opacity and modal logic