Multiple-conclusion logic | lit.salon