Proof code for 2022-05-14.

The code for 2022-05-14 is 3e45c189-ca2f-4fa1-a372-a3a823123333.