Email Record: Computation and proof theory :