individuation of functions