Proof code for 2020-09-05.

The code for 2020-09-05 is 98a72a57-d84c-4eb1-b14c-c0459123cec0.