Automated reasoning | lit.salon