發送短信: The nuts and bolts of proofs