Email Record: A concise introduction to logic /