CTRL February 2017 Proofs