113013 Test - Keston Duke Session Proofs