Zaslat SMS: Formal logic :