Enviar por SMS: A theory of formal deducibility