Proof code for 2021-09-23.

The code for 2021-09-23 is c2ad1e49-8114-4196-8566-eea4f662318c.