SMS dit: Proof, Computation and Agency