[TT Boolean](https://trendless.tech/wp-admin/post.php?post=118&action=edit)

[Category Theory Illustrated - Logic | Hacker News](https://news.ycombinator.com/item?id=28660157)
[Abuse of Notation - writings on math, logic, philosophy and art -](https://abuseofnotation.github.io/)

[Order theory - Wikipedia](https://en.wikipedia.org/wiki/Order_theory)

[Preorder - Wikipedia](https://en.wikipedia.org/wiki/Preorder)

[Symmetry - Wikipedia](https://en.wikipedia.org/wiki/Symmetry#In_logic)

[Predicate Logic For Programmers • Buttondown](https://buttondown.email/hillelwayne/archive/predicate-logic-for-programmers)

[Designing Software with Predicate Logic • Buttondown](https://buttondown.email/hillelwayne/archive/designing-software-with-predicate-logic)