hnm_publ - Keston Duke Session Proofs