Proof code for 2021-09-24.

The code for 2021-09-24 is ff9b8ad8-bde8-409d-bd4b-ba49c7efc5d1.