SMS versenden: Formal logic