Tekstiviesti: Referential opacity and modal logic / Dagfinn Føllesdal.