SMS versenden: Elements of symbolic logic