Myles and Marty's Christmas Session Proofs