Email Record: Modern formal logic /