Text this: Referential opacity and modal logic /