Email Record: Computability, complexity, logic /