Zaslat SMS: Logical validity