في قاعة المحكمة — سلسلة مقدَّمة كمدخل. اثنا عشر محلفًا (مسارات حسابية) يدرسونها رمزًا رمزًا. يمكن لكل منهم أن يصدر حكمًا بـ «مذنب» (يقبل) أو «غير مذنب». بالنسبة للآلة المحدودة غير القطعية (NFA) يكفي صوت واحد بـ «نعم». لكن في محكمة الفرق المتماثل (XNFA) يُصدر الحكم بناءً على الفردية: إذا كان عدد الأصوات بـ «مذنب» فرديًا — تُقبل الكلمة. هذه المحكمة الغريبة، حيث يعتمد القرار على حساب الأصوات وليس على وجود إجماع، تغير الاستراتيجية الخوارزمية بأكملها.

الانتقال من نصف حلقة بوليانية (OR/AND) إلى حقل GF(2) (XOR/AND) يبدو إجراءً شكليًا، لكنه ينقل المسائل إلى صنف تعقيد مختلف. قبول الكلمة في NFA كامل بالنسبة للصنف NL، وفي XNFA — بالنسبة للصنف ⊕L. مسألة تطابق هذين الصنفين هي مشكلة مفتوحة، شبيهة بالسؤال: هل يمكن إعادة بناء محكمة من نوع إلى نوع آخر دون فقدان العدالة؟ أما الفائدة العملية فيقدمها التحليل الدقيق للزمن: بالنسبة للآلات k-مبهمة (حيث للكلمة على الأكثر k مسارًا من المحلفين) طُوِّرت خوارزمية ديناميكية تتتبع الحالات، وتُجري فقط k|Q| عملية لكل رمز. هنا |Q| هو عدد الحالات، و k هو مقياس الإبهام.

الأكثر إدهاشًا هو الاختزال بين النماذج. يمكن تحويل NFA إلى مجموعة من k من XNFA المتوازية، باستخدام أوزان عشوائية فوق حقل GF($2^k$). التحليل الاحتمالي يضمن: إذا قبلت NFA الأصلية كلمة، فإن واحدة على الأقل من XNFA في المجموعة ستصدر حكمًا فرديًا بخطأ لا يتجاوز 1/2. هذه الحيلة تستند إلى مبرهنة شفارتز-زيبل (Schwartz–Zippel) — كلاسيكية الجبر الخطي فوق الحقول المنتهية. يتضح أن NFA متعددة الحدود الإبهام ليست أصعب من XNFA: إذا وجدت لـ XNFA خوارزمية قبول بزمن O((|δ||w|)^{1-ε})، فإن NFA ستُحل بنفس السرعة تقريبًا. هذه لعبة مضادة لتخمين Bringmann وآخرين الذي يدّعي أن NFA أصعب جوهريًا.

في النهاية، تُمحى الحدود بين الحلقات «السهلة» وأنصاف الحلقات «الصعبة». بنية الآلة، وإبهامها العشوائي يصبحان مفتاحًا لتسريع الخوارزميات وللحدود الدنيا: محاولة إثبات مثالية الزمن التكعيبي ($n^3$) لهذه المسائل عبر SETH ستتطلب دحض NSETH — تخمين آخر غير مثبت. محكمة الآلة، حيث يصوّت المحلفون بالفردية، ليست مجرد غرابة، بل أداة تقربنا من فهم الحد الفاصل بين الحوسبة متعددة الحدود وفائقة السرعة. يبقى التحدي الرئيسي: إزالة شرط الإبهام متعدد الحدود. عندها كل انزياح في الأُس ω من 3 إلى 2 سيقرب اللحظة التي يصبح فيها فحص أي حكم شبه تربيعي — وتخلو قاعة المحكمة، تاركةً فقط حسابًا فوريًا.