Proof code for 2023-04-17.

The code for 2023-04-17 is cd088202-d003-40ca-8d65-21d27cd79175.