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