SMS versenden: Symbolic logic