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