发送短信: The nuts and bolts of proofs