Hall 2016 Proofs