generalized def of a function