Text this: A theory of formal deducibility.