SMS versenden: A tour through mathematical logic