IBMS Las Vegas 2016 - Keston Duke Session Proofs