Proof code for 2021-09-18.

The code for 2021-09-18 is c927d535-a9c7-4fa5-b398-36883b81f2c8.