Stav dette: Proof, Computation and Agency