Proof code for 2020-09-03.

The code for 2020-09-03 is 583cee50-97da-4a35-a42e-5bf3c721537c.