1. Compute the following (apply reductions till the expression cannot be reduced any further) (a) (Az.z (Ay.(y y) (Az. a))) (b) ((Az.Ay.(y y) .a) b) For this problem, apply B-reduction in a specific order, applicative order, which can be in terpreted as call-by-value-argument of function is evaluated before the function is applied. Assume that ( (add x) x2) produces the sum of xi and x2; ((mul xi) z2) produces the product of r1 and r2, and (succ produces the successor of number