Text this: Automated deduction - CADE-12