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