Text this: Self reference and modal logic /