Αποστολή με SMS: Language, proof, and logic