Proof code for 2020-06-08.

The code for 2020-06-08 is 5af2c27c-9ec7-4992-9f91-117fc3209d98.