Proof code for 2020-06-28.

The code for 2020-06-28 is 31b02559-6518-4522-bbf3-fc9bbf2a43ca.