Email Record: Logic for computer science :