A modern formal logic | lit.salon