Email Record: A theory of formal deducibility.