Үүнийг мессежээр илгээх: Proof, Computation and Agency