Αποστολή με SMS: Adapting proofs-as-programs :