Proof code for 2020-09-27.

The code for 2020-09-27 is 6d00df5c-0490-419d-ad4e-39ea0b0a58a9.