SMS versenden: Lógica formal: