Proof code for 2021-09-25.

The code for 2021-09-25 is cbd3a801-f844-4134-b629-91c5cb4e4420.