Proof code for 2020-05-31.

The code for 2020-05-31 is 438cdf60-d7e6-416c-8267-66aa91d5af65.