Proof code for 2020-06-05.

The code for 2020-06-05 is 7268c60c-4882-4f43-afe4-76d880613510.