Proof code for 2020-06-20.

The code for 2020-06-20 is a653813f-71e5-452d-aac6-50a4cc57776c.