Proof code for 2021-09-14.

The code for 2021-09-14 is b8d26d1c-2d1b-4727-b2f8-292d11c2c82f.