Proof code for 2020-09-10.

The code for 2020-09-10 is be605593-b556-4a13-919a-11e9ba0e0543.