Proof code for 2020-05-23.

The code for 2020-05-23 is 6f6266e6-3b04-4389-a9ec-ea1271e0d912.