SMS versenden: A theory of formal deducibility