SMS versenden: Formale Logik und Grammatik