Zaslat SMS: An introduction to logic /