2020 Princeton October 17 Brooke Proofs