Text this: Automated deduction, CADE-11