الجملة الأولى: مشكلة اختبار ما إذا كان متعدد معين على حقل متعدد هو متعدد متعدد الترتيبات ممكن حلها في وقت محدود. الجملة الثانية: مسألة التحقق من إن كانت كتلة متعددة معينة هي كتلة متعددة تناوب على حقل محدود ممكن حلها خلال وقت كتلة متعددة. سؤال: هل الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟