Use a sequence of beta reduction steps, including your working at each step, to simplify the following lambda calculus expression its much as possible: (lambda f dot lambda g dot lambda x dot f x(gx)) (lambda u dot lambda u dot u + v)(lambda p dot p + 1)