Dick, S. (2011). AfterMath: the work of proof in the age of human-machine collaboration. Isis, 102(3), 495-505.