Invia SMS: A theory of formal deducibility