Email Record: Logic for computer scientists /