Proof code for 2020-09-02.

The code for 2020-09-02 is 4f75a8c5-81b9-4042-be28-a8f42cbca0fe.