لأي شخص فضولي لرؤية مثال على "رياضيات غريبة": هنا واحدة من فئة لا نهائية من الأنظمة "الشبيهة بالمنطق"، ببديهيات مشابهة (لكنها ليست مكافئة) لتلك الخاصة بعامل NAND، ونظريات غنية بنفس القدر. على اليمين يوجد مثال على مبرهنة "شبيهة بالمنطق".

(درست هذا النظام بالذات، بالإضافة إلى بعض النظام المرتبط، بتفصيل كبير في عام 2017، واكتشفت جميع أنواع الخصائص الفوقية حول بنية مبرهنته. لكنني لم أبني أي حدس دلالي له سوى "إنه يشبه NAND قليلا، لكن ليس حقا".)