Email Record: First order mathematical logic /