Proof code for 2023-07-28.

The code for 2023-07-28 is 882d6aa5-0162-4036-a9f4-a5ecb4b8d179.