Zaslat SMS: Introduction to Logical Theory