Text this: Introductory Modal Logic