stutzman - proofs

December 2nd, 2017