( เคYΩ )KYλ x YYΩ = ( λ x . ( xx )λ x ( xx ) )เป็นคำที่ไม่สิ้นสุด ในบางแง่Ω เป็นคำที่ไม่สิ้นสุดขั้นสุดท้าย: มันลดเบต้าให้กับตัวเองเช่น Ω → Ω. (ตรวจสอบให้แน่ใจว่าได้ทำมันลงบนกระดาษอย่างน้อยหนึ่งครั้งในชีวิตของคุณ)
การลดคำสั่งซื้อแบบบังคับต้องลดอาร์กิวเมนต์ของฟังก์ชันให้อยู่ในรูปแบบปกติก่อนที่จะสามารถประเมิน redex ระดับบนสุดได้ ตั้งแต่การโต้แย้งΩไม่มีรูปแบบปกติการลดคำสั่งสมัครจะวนซ้ำ โดยทั่วไปสำหรับคำใด ๆM, MΩ → MΩและนี่คือการลดที่เลือกโดยกลยุทธ์คำสั่งการสมัคร
การลดคำสั่งปกติเริ่มต้นด้วยการลด redex ระดับบนสุด (เพราะฟังก์ชั่น KYอยู่ในรูปแบบปกติแล้ว) ตั้งแต่KY ละเว้นการโต้แย้ง ( เคYΩ ) → yในขั้นตอนเดียว ให้เป็นปกติมากกว่านี้,KYยังไม่มีข้อความ→ y สำหรับคำใด ๆ ยังไม่มีข้อความและนี่คือการลดที่เลือกโดยกลยุทธ์ลำดับปกติ
กรณีนี้แสดงให้เห็นถึงปรากฏการณ์ที่ทั่วไปมากขึ้น: การลดคำสั่งแบบบังคับใช้จะพบรูปแบบปกติเท่านั้นหากคำนั้นเป็นคำที่ทำให้เป็นมาตรฐานอย่างยิ่ง สิ่งนี้เกิดขึ้นเนื่องจากคำสั่งการสมัครจะประเมินข้อโต้แย้งอย่างเต็มที่ก่อนเสมอดังนั้นจึงพลาดโอกาสที่การโต้แย้งจะกลายเป็นไม่ได้ใช้งาน ในขณะที่คำสั่งปกติจะประเมินผลการโต้แย้งให้ช้าที่สุดเท่าที่จะเป็นไปได้และจะชนะเสมอหากการโต้แย้งนั้นไม่ได้ใช้งาน
(ด้านพลิกคือคำสั่งการสมัครมีแนวโน้มที่จะเร็วขึ้นในทางปฏิบัติเพราะมันค่อนข้างหายากสำหรับการโต้เถียงที่จะไม่ได้ใช้ในขณะที่มันเป็นเรื่องธรรมดาสำหรับการโต้แย้งที่จะใช้หลายครั้งและภายใต้ลำดับการสมัครอาร์กิวเมนต์จะประเมินเพียงครั้งเดียว คำสั่งซื้อประเมินอาร์กิวเมนต์บ่อยเท่าที่มันถูกใช้ไม่ว่าจะเป็น 0, 1 หรือหลาย ๆ ครั้ง)