Since this is the only available reduction, Ω has no normal form (under any evaluation strategy).
از آنجا که این تنها کاهش موجود است، Ω دارای فرم عادی نیست (تحت هر استراتژی ارزیابی).