التخطيط الكلاسيكي

الحالات مجموعاتِ قضايا متغيّرة مؤرَّضة موجبة في ظلّ افتراض العالم المغلق، والأفعال قوالبَ مرفوعة بقائمة إضافة وقائمة حذف، ومسألة الإطار تُتجنَّب بذكر ما يتغيّر لا غير.

التقدّم من الحالة الابتدائية والارتداد من الهدف، ومعامل التفرّع الذي يولّده التأريض، ولماذا كانت التركيبة الفائزة هي الاتّجاه الساذج مع استدلال جيّد.

استدلالان يُنالان بتحرير قوالب الأفعال، ثم بيان مستوياتي بروابط تنافٍ يعطي ثلاثة استدلالات أخرى ويبتّ في أيّها يُوثق بأنه لا يبالغ في التقدير.