0917_hurd_14310917_hurd_1431
09_23_2017_proofs