Αποστολή με SMS: Automated Deduction - CADE-14