Proof code for 2021-05-20.

The code for 2021-05-20 is c2fc2f27-5d9e-453a-b5f6-a2c085e8cd5f.