Invia SMS: Lógica formal: