Proof code for 2020-09-19.

The code for 2020-09-19 is 1a0e27f2-2d84-4af9-b19f-3033c2f1aa62.