SMS versenden: From Kant to Hilbert