062719 Olivier Lucenay - Keston Duke Session Proofs