Proof code for 2023-04-12.

The code for 2023-04-12 is 422661ab-e73a-40b2-8e96-c192b0ff4087.