Text this: Self-reference and modal logic /