Automated deduction | lit.salon