Zaslat SMS: Logical properties