Proof code for 2023-05-10.

The code for 2023-05-10 is 12e97353-e3c5-40b8-ae24-ceb60b34e6c7.