011715 Ryan French - Keston Duke Session Proofs