Logic, algebra, and computation | lit.salon