Mich - Keston Duke Session Proofs