SMS versenden: Formale Logik