Αποστολή με SMS: Automated deduction, CADE-11