Email Record: Introduction to logic /