Rea's Christmas Session Proofs