Proof code for 2020-09-13.

The code for 2020-09-13 is de8ba459-8acc-4468-a2f1-21f3b00a3539.