Pātuhitia tēnei: Proof, Computation and Agency