Отправить по sms: The nuts and bolts of proofs