Proof code for 2020-05-13.

The code for 2020-05-13 is 8933fff0-b642-4736-89ef-7d01371f6f4c.