Proof code for 2021-05-13.

The code for 2021-05-13 is 56f12f49-d642-4dc0-bf1d-ab380e3bfe25.