013014 Mills Miller - Keston Duke Session Proofs