Proof code for 2020-06-07.

The code for 2020-06-07 is bba52760-91df-40a0-901e-41c9e8cf37b4.