tyer - proofs

October 16th, 2018