Email Record: An introductory logic /