Email Record: A first course in logic /