Proof code for 2020-09-15.

The code for 2020-09-15 is f3f0906e-5f27-4581-a549-b7323050924d.