Zaslat SMS: Lógica formal: