Text this: Automated deduction - CADE-12 :