2020 Princeton Aug11 Bri Proofs