Proofs December 2017