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