Vitalsource Technologies, Inc. Referential Opacity And Modal Logic