083016 Tyler Fernandez - Keston Duke Session Proofs