functional calculus of first order