Αποστολή με SMS: People, Problems, and Proofs