Text this: First-order functional calculus /