Zaslat SMS: Introduction to logic