Text this: A short introduction to modal logic/