Αποστολή με SMS: Generic Programs and Proofs