Proof code for 2020-09-23.

The code for 2020-09-23 is c62ec231-06af-4afe-b9d2-95a7a51bb377.