שליחה במסרון: Proof, Computation and Agency