SMS versenden: Deduktion. Automatisierung der Logik /