031718 Mar Segui - Keston Duke Session Proofs