Referential Opacity and Modal Logic (Studies in Philosophy)