Proof code for 2023-07-20.

The code for 2023-07-20 is c349b64d-053e-4eba-8d39-a2572e79e3dc.