Email Record: The language of first-order logic :