2020 Princeton June 15 Haley Proofs