 "xx") I.On the other hand, using applicative order can result in redundant reductions or even possibly never reduce to normal form.For example, performing a β-reduction in normal order on (λ"f".f I) (λy.