Αποστολή με SMS: Automated deduction