এই পাঠটি: Proof, Computation and Agency