Proof code for 2020-09-26.

The code for 2020-09-26 is c8fcfd9d-db35-46a7-8cae-453d2dea34da.