שליחה במסרון: The nuts and bolts of proofs