Zaslat SMS: Formal logic: