SMS versenden: A precis of mathematical logic