Definition of f(a,b,c)