Email Record: First-Order Predicate Logic.