IBMS Tulum Mexico 2019 - Keston Duke Session Proofs