Proof code for 2022-05-17.

The code for 2022-05-17 is c4cc8fe1-f82d-4187-8823-1425a3efef33.