Formal logic | lit.salon