الغرض من هذه الوثيقة. هذه مرجع مستقل للقراء الخارجيين. تذكر جميع النظريات الرئيسية، وحالة إثباتها، وجميع المشاكل المفتوحة، مع هيكل اعتماد يوضح ما يتطلبه كل نتيجة وما يمكّنه. لا تُعطى أي اشتقاقات هنا؛ وتشير الاقتباسات إلى الأوراق العملية حيث تظهر الإثباتات. تسميات الحالة: مثبت = مثبت في وثيقة البرنامج؛ مشروط = مثبت تحت فرضية صريحة محددة؛ مفتوح = مفتوح، مع استراتيجيات حل معروفة أو معروفة جزئيًا؛ حدس = مُحدس، لا توجد استراتيجية إثبات متاحة حاليًا.
دونالد ج. بالمر (الخميس) درس هذا السؤال.