Email Record: Applied symbolic logic /