SMS versenden: First-order logic