Zaslat SMS: A new introduction to modal logic/