Please help with reducing the following lambda calculus expressions: (for reference, the application rules can be found here: https://cs.gmu.edu/~marks/463/h/rules.html)

(35%) Reducing Expressions Reduce each of these expressions as needed until they are values. If it can't be reduced to a value, indicate "no normal form". If it's already reduced as far as possible and is a value, indicate "already a value." be sure you take a single step at a time, and name what rule/operation is used to do so. (We'll relax that a bit or test days). expressions to reduce: 2. (((Aa Ab. if (a> b) a 0) (3*4)) (1+2)) 7 ((. if x true false) 5) (35%) Reducing Expressions Reduce each of these expressions as needed until they are values. If it can't be reduced to a value, indicate "no normal form". If it's already reduced as far as possible and is a value, indicate "already a value." be sure you take a single step at a time, and name what rule/operation is used to do so. (We'll relax that a bit or test days). expressions to reduce: 2. (((Aa Ab. if (a> b) a 0) (3*4)) (1+2)) 7 ((. if x true false) 5)