Email Record: Classical first-order logic /