Proof code for 2023-06-20.

The code for 2023-06-20 is 95a18dc2-1077-4c25-89d4-0f6f4154bacd.