Proof code for 2021-09-26.

The code for 2021-09-26 is 3ba2709c-5f5e-4f30-8c58-03c359585eb9.