Αποστολή με SMS: Provably Correct Systems