Consider the \-expression (f. \g. \z. f (g z)) (\x.x+1) (\y. y* 2), where \ denotes lambda. What is the next step in the reduction? (\g. \z. (\x.x + 1) (g z)) (\y. y* 2) (\f. \g. f(g(\x.x+1))) (\y.y* 2) (\g. \z. (ly.y* 2) (g z)) (\x.x+1)