Title: First-order functional calculus