Для тих, хто цікавиться прикладом «чужої математики»: ось одна з нескінченного класу «логічно-подібних» систем, з аксіомами, схожими (але не еквівалентними) оператору NAND, і теоремами не менш багатими. Праворуч наведено приклад теореми, схожої на логіку.

(Я детально вивчав цю систему, а також деякі пов'язані з нею, ще у 2017 році і відкрив безліч метавластивостей її теоремної структури. Але я так і не виробив семантичної інтуїції, окрім «це трохи схоже на NAND, але не зовсім».)