T. Huskamp Peterson, “Proof”, Informatio, vol. 23, no. 1, pp. 6-33, Sep. 2018.