051218 Olivier Lucenay - Keston Duke Session Proofs