Proof, Computation and Agency More Books Like This