Email Record: A structuralist theory of logic /