Dành cho những ai tò mò muốn xem một ví dụ về "toán học ngoài hành tinh": đây là một trong vô số hệ thống "giống logic", với các tiên đề tương tự (nhưng không tương đương) với các tiên đề của toán tử NAND, và các định lý cũng phong phú không kém. Bên phải là một ví dụ về một định lý "giống logic".

(Tôi đã nghiên cứu hệ thống cụ thể này, cùng với một số hệ thống liên quan, một cách chi tiết vào năm 2017, và phát hiện ra đủ loại thuộc tính meta về cấu trúc định lý của nó. Nhưng tôi chưa bao giờ thực sự xây dựng được trực giác ngữ nghĩa nào cho nó ngoài việc "nó giống như NAND, nhưng không hoàn toàn".)