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