Αποστολή με SMS: The nuts and bolts of proofs