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

لماذا يُسرّع هذا الحوسبة؟ الآلة العادية تستخدم منطق «أو»: المسار إما موجود وإما لا. أما هنا فتعمل حسابيات البواقي: كل مسار هو 0 أو 1، والنتيجة الإجمالية هي مجموعهم بقياس 2، أي عملية «أو» الحصرية البسيطة (جمع بدون حمل). هذه الحسابيات تسمح بتطبيق أساليب جبرية سريعة ومتابعة ليس كل المسارات، بل فقط كم عددها في كل حالة. بالنسبة للآلات حيث لا يوجد للكلمة أكثر من k مسار، طُوّرت طريقة ذكية لمعالجة كل رمز بعدد خطوات يتناسب مع k وحجم الآلة.

الأكثر إدهاشًا: يمكن تحويل الآلة العادية إلى مجموعة من عدة آلات غير عادية. باستخدام معاملات عشوائية وحسابيات البواقي، يُنشأ طاقم، وإذا كانت الآلة الأصلية تقبل الكلمة، فإن واحدة على الأقل من الآلات الجديدة ستعطي نتيجة فردية باحتمال يتجاوز النصف. هذا يشبه لعبة تخمين: بدلاً من محكم واحد موثوق، نأخذ فريقًا من الغريبي الأطوار، لكنهم معًا لا يخطئون.

في النهاية، البنية نفسها للآلة تُلمح إلى كيفية تسريع الحسابات. الغموض العشوائي للمسارات، الذي كان يعيق سابقًا، يصبح مساعدًا. وإذا أثبت العلماء أنه لا يمكن الجعل أسرع، فسيتعين عليهم دحض فرضية أخرى غير مثبتة. محكمة الأصوات الفردية ليست مجرد تسلية — إنها مفتاح للحدود بين الحوسبة السريعة وفائقة السرعة.