Two papers on symbolic logic | lit.salon