Proof code for 2020-05-21.

The code for 2020-05-21 is 4f18b733-8dc3-4aa4-8c36-aabf865f28c1.