Generalized logic | lit.salon