Proof code for 2023-11-19.

The code for 2023-11-19 is 3d7be514-23ae-461e-8ea4-95ede866cd2f.