Email Record: Validity in First-Order Predicate Logic.