Given the lambda expression (λx.λy.x y) (λz.z), perform a full beta reduction to normal form. Document each step of the substitution process clearly and explain the order of evaluation used (e.g., normal order vs. applicative order).