Referential Opacity And Modal Logic door Dagfinn Follesdal