First Steps in Modal Logic by Sally Popkorn