Proof code for 2023-05-20.

The code for 2023-05-20 is d411267b-bdea-4351-a49f-8f4cfdb387a7.