Email Record: First-order functional calculus /