Notes for symbolic logic | lit.salon