Email Record: Computational logic and proof theory :