2020 Ian June 24 Proofs