Proof code for 2023-07-22.

The code for 2023-07-22 is 457d1870-a4d4-4185-944c-f73be552dca3.