Proof code for 2020-05-16.

The code for 2020-05-16 is 2822859d-5227-43ab-a47e-b4772f603a2d.