b=g(a_1,\dots,a_n)