Text this: Modal Logic with Descriptions /