Problem 4 (Call by Value). For each of the following, identify the redex that should be reduced first according to call by value and give the resulting expression after one beta reduction. If there is more than one possibility, you should show all possibilities. a. (2x. (2x. x) x (2x. x) x) (ax. y) x