161203_Ponstingle_Proofs