Proof code for 2023-04-21.

The code for 2023-04-21 is f1e45ae6-e27a-491b-9428-341452d05410.