Email Record: Logical methods in computer science :