SMS versenden: Formal logic: