a b c f a b f(c) a f(b, c) f(a, b, c)