Apply -reduction and -substitution to the following forms to reduce to lowest form. Indicate at each step which rule you are applying.

1. ((x.(x y))(z.z))

2. (z.z) (y.y y) (x.x a)

3. (x.x)( x.x )

4. (x.x x) (x. y.x x)