Symbolic logic | lit.salon