 "x")Ω is reduced by first reducing Ω to normal form (since it is the rightmost redex), but since Ω has no normal form, applicative order fails to find a normal form for KIΩ.In contrast, normal order is so called because it always finds a normalising reduction, if one exists.In the above example, KIΩ reduces under normal order to "I", a normal form.