SMS versenden: Computability and logic /